Multi-player subtraction games
نویسندگان
چکیده
منابع مشابه
Repairing Multi-Player Games
Synthesis is the automated construction of systems from their specifications. Modern systems often consist of interacting components, each having its own objective. The interaction among the components is modeled by a multi-player game. Strategies of the components induce a trace in the game, and the objective of each component is to force the game into a trace that satisfies its specification....
متن کاملMastering multi-player games
We consider multi-player games, and the guarantees that a master player that plays on behalf of a set of players can offer them, without making any assumptions on the rationality of the other players. Our model consists of an (n + 1)-player game, with m strategies per player, in which a master player M forms a coalition with nontransferable utilities among n players, and the remaining player is...
متن کاملConcurrent Multi-Player Parity Games
Parity games are a powerful framework widely used to address fundamental questions in computer science. In the basic setting they consist of two-player turn-based games, played on directed graphs, whose nodes are labeled with priorities. Solving such a game can be done in time exponential in the number of the priorities (and polynomial in the number of states) and it is a long-standing open que...
متن کاملDynamics of Multi-Player Games
We analyze the dynamics of competitions with a large number of players. In our model, n players compete against each other and the winner is decided based on the standings: in each competition, the mth ranked player wins. We solve for the long time limit of the distribution of the number of wins for all n and m using scaling analysis of the nonlinear evolution equations, and find three differen...
متن کاملDeterministic Multi-Player Dynkin Games
A multi-player Dynkin game is a sequential game in which at every stage one of the players is chosen, and that player can decide whether to continue the game or to stop it, in which case all players receive some terminal payoff. We study a variant of this model, where the order by which players are chosen is deterministic, and the probability that the game terminates once the chosen player deci...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2017
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2016.10.016